/*
  reZonator styles
  pigments.css is the default css file for syntax highlighting.
  We don't use syntax highlighting in this manual
  so it is easy to use this file for some app specific styles
*/

span.menuselection, span.guilabel, kbd {
    color: maroon;
    font-family: Courier New, Monaco, monospace;
}

span.elem-param {
    color: #555;
    font-weight: bold;
}

span.math-var {
    font-family: Georgia, serif;
    font-style: italic;
    font-size: 1.2em;
}

span.app-name {
    color: navy;
}

span.app-name-z {
    color: red;
}

div.highlight {
    margin-left: 40px;
}

pre {
    font-family: Courier New, Monaco, monospace;
    color: #116;
}

span.pre {
    font-family: Courier New, Monaco, monospace;
    color: #116;
    margin-left: 2px;
    margin-right: 2px;
}

code {
    background-color: #f5f5f9;
}

span.guipart {
    font-weight: bold;
    background-color: #e5e5e9;
}
